$\forall$$i$:Id, $A$, $B$:MsgA. interface{-}compatible((@$i$ $A$);(@$i$ $B$))